Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• Dominique Unruh, Tallinn, 1 month, January 2013.

• Mark Ryan, Birmingham, 2 weeks, July 2013.

• Achim Jung, Birmingham, 1 month, April-May 2013.

Internships

Stéphanie Delaune et David Baelde co-supervised the following master student:

• Lucca Hirschi, ENS Lyon, “Réduction d'ordre partiel pour les propriétés d'équivalence”, 2013.

Jean Goubault-Larrecq supervised the following L2 student:

• Jean-Philippe Lachance, U. Laval, Québec, “Evaluation automatique de la complexité de détection des signatures Orchids”, 2013.